finite sequences